/**
 * 
 */
package Domain;

import java.util.*;
/**
 * @author gth854p
 *
 */
public class NfaState extends State {
	private int id;

	public void setId(int id) {
		this.id = id;
	}

	public int getId() {
		return id;
	}
	
	public List<StateTransition> getTransitions()
	{
		return super.transitions;
	}
	public void addTransition(StateTransition st)
	{
		super.transitions.add(st);
	}
	public void setTerminal(boolean isTerminal) {
		super.setTerminal(isTerminal);
	}

	public boolean isTerminal() {
		return super.isTerminal();
	}
	
	public String toString() {
		return super.toString();
		//return ((Integer)id).toString();
	}
}
